#include <stdio.h>

void RegisterSymbol(void *symbolAddr) {
    printf("Regist addr: %p\n", symbolAddr);
    printf("value: %x\n", *(unsigned int *)symbolAddr);
    return;
}
